Skip to content

Conversation

alexcrichton
Copy link
Member

This commit is a replacement for #1417 now that rust-lang/rust#12046 has landed. While I was here I went ahead and updated the Wasmtime used in CI and adapted its command line as well.

Closes #1417

This commit is a replacement for rust-lang#1417 now that rust-lang/rust#12046 has
landed. While I was here I went ahead and updated the Wasmtime used in
CI and adapted its command line as well.
@rustbot
Copy link
Collaborator

rustbot commented Mar 5, 2024

r? @Amanieu

rustbot has assigned @Amanieu.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

@Amanieu Amanieu merged commit d8f9120 into rust-lang:master Mar 5, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants